English-German translation for "arzelà ascoli"

Our team has been informed that the translation for "arzelà ascoli" is missing and is verifying the word in question for acceptance in our online dictionaries.